<?php
/**
 * 
 * 
 * @package
 * @copyright
 */
class Hotspot {
  /* int */
  public $SymbolID = NULL;
  /* int */
  public $x = NULL;
  /* int */
  public $y = NULL;
}

?>
